<!DOCTYPE html>
<html lang="en" dir="ltr" class="no-js">
<head>
    <meta charset="utf-8" />
    <title>Workcraft - help:tips</title>
    <script>(function(H){H.className=H.className.replace(/\bno-js\b/,'js')})(document.documentElement)</script>
    <meta name="generator" content="DokuWiki"/>
<meta name="robots" content="index,follow"/>
<meta name="date" content="2014-06-20T20:45:25+0000"/>
<meta name="keywords" content="help,tips"/>
<link rel="search" type="application/opensearchdescription+xml" href="lib/exe/opensearch.html" title="Workcraft"/>
<link rel="start" href="tips.html"/>
<link rel="contents" href="tips.html" title="Sitemap"/>
<link rel="alternate" type="application/rss+xml" title="Changes" />
<link rel="alternate" type="application/rss+xml" title="Current namespace" />
<link rel="alternate" type="text/html" title="Plain HTML" href="_export/xhtml/help/tips.xhtml"/>
<link rel="alternate" type="text/plain" title="Wiki Markup" href="_export/raw/help/tips.raw"/>
<link rel="canonical" href="http://www.workcraft.org/help/tips"/>
<link rel="stylesheet" type="text/css" href="lib/exe/css.php.t.dokuwiki-light-export.css"/>
<script type="text/javascript">/*<![CDATA[*/var NS='help';var JSINFO = {"id":"help:tips","namespace":"help"};
/*!]]>*/</script>
<script type="text/javascript" charset="utf-8" src="lib/exe/js.php.t.dokuwiki-light-export.js"></script>
    <meta name="viewport" content="width=device-width,initial-scale=1" />
    <link rel="shortcut icon" href="favicon.ico" />
<link rel="apple-touch-icon" href="apple-touch-icon.png" />
    </head>

<body>
    <!--[if lte IE 7 ]><div id="IE7"><![endif]--><!--[if IE 8 ]><div id="IE8"><![endif]-->
    <div id="dokuwiki__site"><div id="dokuwiki__top" class="site dokuwiki mode_show tpl_dokuwiki-light-export     ">

        
<!-- ********** HEADER ********** -->
<div id="dokuwiki__header"><div class="pad group">

        <h1><a href="start.html"  title="Workcraft start page"><img src="logo.png" width="327" height="57" alt="" /></a></h1>
    
    <div class="tools group">
        <!-- USER TOOLS -->
                    <div id="dokuwiki__usertools">
                <h3 class="a11y">User Tools</h3>
                <ul>
                    <li><a href="tips.html"  class="action login" rel="nofollow" title="Login">Login</a></li>                </ul>
            </div>
        
        <!-- SEARCH TOOLS -->
        <div id="dokuwiki__searchtools">
            <h3 class="a11y"></h3>
            <form action="start.html" accept-charset="utf-8" class="search" id="dw__search" method="get" role="search"><div class="no"><input type="hidden" name="do" value="search" /><input type="text" id="qsearch__in" accesskey="f" name="id" class="edit" title="[F]" /><input type="submit" value="Search" class="button" title="Search" /><div id="qsearch__out" class="ajax_qsearch JSpopup"></div></div></form>        </div>

        <!-- SITE TOOLS -->
        <div id="dokuwiki__sitetools">
            <h3 class="a11y">Site Tools</h3>
                            <div class="mobileTools">
                    <li><a href="tips.html"  class="action login" rel="nofollow" title="Login">Login</a></li>                </div>
                <ul>
                                    </ul>
                    </div>
    </div>

    <!-- BREADCRUMBS -->
    
    
    <hr class="a11y" />
</div></div><!-- /header -->

        <div class="wrapper group">

            
            <!-- ********** CONTENT ********** -->
            <div id="dokuwiki__content"><div class="pad group">
                <div class="pageId"><span>help:tips</span></div>
                <div class="page group">
                                                            <!-- wikipage start -->
                    <!-- TOC START -->
<div id="dw__toc">
<h3 class="toggle">Table of Contents</h3>
<div>

<ul class="toc">
<li class="level1"><div class="li"><a href="#selection">Selection</a></div></li>
<li class="level1"><div class="li"><a href="#clipboard_and_history">Clipboard and History</a></div></li>
<li class="level1"><div class="li"><a href="#navigation_and_grouping">Navigation and Grouping</a></div></li>
<li class="level1"><div class="li"><a href="#simulation">Simulation</a></div></li>
<li class="level1"><div class="li"><a href="#settings">Settings</a></div></li>
</ul>
</div>
</div>
<!-- TOC END -->

<h1 class="sectionedit1" id="tips_and_tricks">Tips and Tricks</h1>
<div class="level1">

</div>

<h2 class="sectionedit2" id="selection">Selection</h2>
<div class="level2">
<ul>
<li class="level1"><div class="li">
 Hold <kbd>Shift</kbd> to include objects into a selection and <kbd>Ctrl</kbd> to exclude objects from a selection.
</div></li>
<li class="level1"><div class="li">
 Outline a selection area <em>from-right-to-left</em> for adding fully covered objects, and <em>from-left-to-right</em> for adding any touched objects.
</div></li>
<li class="level1"><div class="li">
 Use <em>left mouse button</em> or <kbd>&larr;</kbd>, <kbd>&uarr;</kbd>, <kbd>&rarr;</kbd>, <kbd>&darr;</kbd> to move selected components.
</div></li>
<li class="level1"><div class="li">
 Selected components can be removed by pressing <kbd>Delete</kbd>.
</div></li>
<li class="level1"><div class="li">
 Press <kbd>Ctrl</kbd>+<kbd>A</kbd> to select all objects or <kbd>Esc</kbd> to reset selection.
</div></li>
</ul>


</div>

<h2 class="sectionedit3" id="clipboard_and_history">Clipboard and History</h2>
<div class="level2">
<ul>
<li class="level1"><div class="li">
 Clipboard operations are allowed between the models of the same type: <kbd>Ctrl</kbd>+<kbd>C</kbd> to copy, <kbd>Ctrl</kbd>+<kbd>X</kbd> to cut and <kbd>Ctrl</kbd>+<kbd>V</kbd> to insert.
</div></li>
<li class="level1"><div class="li">
 History of modifications can be browsed: <kbd>Ctrl</kbd>+<kbd>Z</kbd> to undo and <kbd>Ctrl</kbd>+<kbd>Shift</kbd>+<kbd>Z</kbd> to redo.
</div></li>
</ul>


</div>

<h2 class="sectionedit4" id="navigation_and_grouping">Navigation and Grouping</h2>
<div class="level2">
<ul>
<li class="level1"><div class="li">
 <kbd>Ctrl</kbd>+<kbd>G</kbd> combines selected objects into a group and <kbd>Ctrl</kbd>+<kbd>Shift</kbd>+<kbd>G</kbd> ungroups them.
</div></li>
<li class="level1"><div class="li">
 Press <kbd>Page&darr;</kbd> or <em>double-click</em> a group to enter it. Press <kbd>Page&uarr;</kbd> or <em>double-click</em> outside a group to leave it.
</div></li>
<li class="level1"><div class="li">
 Scroll the mouse wheel <em>forward</em> to zooms in and <em>backward</em> to zoom out. Alternatively press <kbd>+</kbd> to zoom in and <kbd>&minus;</kbd> to zoom out.
</div></li>
<li class="level1"><div class="li">
 Use the <em>middle mouse button</em> or <kbd>Ctrl</kbd>+<em>right mouse button</em> or <kbd>Ctrl</kbd>+<kbd>&larr;</kbd>, <kbd>&uarr;</kbd>, <kbd>&rarr;</kbd>, <kbd>&darr;</kbd> to pan the view.
</div></li>
</ul>


</div>

<h2 class="sectionedit5" id="simulation">Simulation</h2>
<div class="level2">
<ul>
<li class="level1"><div class="li">
 Use <kbd>[</kbd> and <kbd>]</kbd> keys to navigate through the simulation trace.
</div></li>
<li class="level1"><div class="li">
 In <em>Signal-State</em> table the values of excited signals are depicted in bold font.
</div></li>
</ul>


</div>

<h2 class="sectionedit6" id="settings">Settings</h2>
<div class="level2">
<ul>
<li class="level1"><div class="li">
 Use <code>punf</code> with <code>-r</code> option to replicate Petri net places sensed by read-arcs and speed up the unfolding.
</div></li>
<li class="level1"><div class="li">
 Use <code>petrify</code> with <code>-nosi</code> option to allow synthesis of non-speed-independent specifications.
</div></li>
<li class="level1"><div class="li">
 Add <code>-lib tools/petrify.lib</code> to the <code>petrify</code> options to enable technology mapping into this library.
</div></li>
</ul>


</div>

                    <!-- wikipage stop -->
                                    </div>

                                            </div></div><!-- /content -->

            <hr class="a11y" />

            <!-- PAGE ACTIONS -->
            <div id="dokuwiki__pagetools">
                        </div>
        </div><!-- /wrapper -->

        
<!-- ********** FOOTER ********** -->
<div id="dokuwiki__footer"><div class="pad">
    
    <div class="buttons">
                <a href="http://www.dokuwiki.org/donate" title="Donate" ><img
            src="lib/tpl/dokuwiki-light-export/images/button-donate.gif" width="80" height="15" alt="Donate" /></a>
        <a href="http://www.php.net" title="Powered by PHP" ><img
            src="lib/tpl/dokuwiki-light-export/images/button-php.gif" width="80" height="15" alt="Powered by PHP" /></a>
        <a href="http://validator.w3.org/check/referer" title="Valid HTML5" ><img
            src="lib/tpl/dokuwiki-light-export/images/button-html5.png" width="80" height="15" alt="Valid HTML5" /></a>
        <a href="http://jigsaw.w3.org/css-validator/check/referer?profile=css3" title="Valid CSS" ><img
            src="lib/tpl/dokuwiki-light-export/images/button-css.png" width="80" height="15" alt="Valid CSS" /></a>
        <a href="http://dokuwiki.org/" title="Driven by DokuWiki" ><img
            src="lib/tpl/dokuwiki-light-export/images/button-dw.png" width="80" height="15" alt="Driven by DokuWiki" /></a>
    </div>

    <div class="userInfo">
            </div>
</div></div><!-- /footer -->

    </div></div><!-- /site -->

    <div class="no"><img  width="2" height="1" alt="" /></div>
    <div id="screen__mode" class="no"></div>    <!--[if ( lte IE 7 | IE 8 ) ]></div><![endif]-->
</body>
</html>

